A Slotted Hash Cons for Alpha Invariance
philipzucker.com·46m·
Discuss: Hacker News
🔗Lexical Scoping
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Ever copy code and watch it fail for no reason? I made a scrubber for that 🧽
codecleanse.us·2h·
Discuss: r/programming
✨Code Formatters
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
Death of a lens(man)
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
Glypht
glypht.valadaptive.dev·3h
🔄Incremental Lexing
Status Week 37
blogs.gnome.org·27m
⚙️TOML Parsers
Jenny List
hackaday.com·13h
📝Rope Editors
Announcing datalit: A macro to generate fluent, readable static binary data
reddit.com·22h·
Discuss: r/rust
🦀Rust Macros
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
Introducing the Constexpr Debugger
blog.jetbrains.com·11h·
Discuss: Lobsters, Hacker News, r/cpp
🔍Debugging Compilers
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·6h·
Discuss: Hacker News
🌱Minimal Lisps
ECMAScript TC39 proposal-pattern-matching
github.com·5h·
Discuss: Hacker News
🎯Pattern Matching
An inscription found in Spain rewrites the history of the deployment of Roman troops in the Iberian Peninsula in the 1st century A.D.
labrujulaverde.com·10h
📚Factor
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
ISO C++ committee has a new chief sheep herder
shape-of-code.com·20h
🔬Nanopasses
I Once Appeared in The Old New Thing
mtlynch.io·19h·
Discuss: Hacker News
🌉Language Bindings
[WIP] MOAT - Mother Of All Towers (Part 5: Tile-Effects & Satisfaction)
preview.redd.it·4h·
Discuss: r/godot
🌊Gradual Effects